Opérateur propositionnel


Opérateur propositionnel

Opérateur propositionnel connecteur qui, à tout groupe de propositions (arguments de l'opérateur), fait correspondre une proposition et une seule. (Presque tous les opérateurs propositionnels sont des connecteurs.)

Encyclopédie Universelle. 2012.

Regardez d'autres dictionnaires:

  • propositionnel — propositionnel, elle [ prɔpozisjɔnɛl ] adj. • 1928; de proposition ♦ Log. Qui est relatif aux propositions de la logique. Logique propositionnelle et logique fonctionnelle. ♢ Math. Calcul propositionnel : branche de la logique mathématique qui… …   Encyclopédie Universelle

  • opérateur — opérateur, trice [ ɔperatɶr, tris ] n. • XIVe « artisan »; lat. operator, trix 1 ♦ Vx Personne qui opère, exécute une action. ⇒ auteur. « opérateur des miracles » (Pascal). 2 ♦ (1561) Vx Personne qui exécute une opération chirurgicale. ⇒… …   Encyclopédie Universelle

  • LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… …   Encyclopédie Universelle

  • Theorie des modeles — Théorie des modèles La théorie des modèles est une théorie de la vérité mathématique. Elle consiste essentiellement à dire qu’une théorie est mathématiquement valide si on peut définir un univers dans lequel elle est vraie. Sommaire 1… …   Wikipédia en Français

  • Théorie des modèles — Pour les articles homonymes, voir Modèle. La théorie des modèles est une branche de la logique mathématique. Son principe de base est qu’une théorie est mathématiquement valide si on peut définir un univers dans lequel elle est vraie. Sommaire 1… …   Wikipédia en Français

  • Négation (linguistique) — Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose à l’affirmation. Bien… …   Wikipédia en Français

  • Double négation — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… …   Wikipédia en Français

  • Negation (linguistique) — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… …   Wikipédia en Français

  • Négation linguistique — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… …   Wikipédia en Français

  • logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure …   Encyclopédie Universelle


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.